-
1 правило дизъюнкции
Большой англо-русский и русско-английский словарь > правило дизъюнкции
-
2 правило удаления дизъюнкции
Большой англо-русский и русско-английский словарь > правило удаления дизъюнкции
-
3 alternation
-
4 rule of alternation
1) Общая лексика: правило чередования2) Математика: правило дизъюнкции -
5 disjunction rule
Большой англо-русский и русско-английский словарь > disjunction rule
-
6 rule of alternation
Большой англо-русский и русско-английский словарь > rule of alternation
-
7 disjunction rule
Математика: правило дизъюнкции -
8 disjunction rule
мат. -
9 rule of alternation
мат. -
10 distributive
дистрибутивный, распределительныйdistributive law of conjunction over disjunction — лог. закон дистрибутивности конъюнкции относительно дизъюнкции
distributive law of disjunction over conjunction — лог. закон дистрибутивности дизъюнкции относительно конъюнкции
law of distributive proportions — экон. правило купеческое
-
11 law of De Morgan
Вычислительная техника: закон де Моргана (об отрицании конъюнкции и дизъюнкции), правило де Моргана (об отрицании конъюнкции и дизъюнкции) -
12 law of De Morgan
закон [правило] де Моргана (об отрицании конъюнкции и дизъюнкции)Большой англо-русский и русско-английский словарь > law of De Morgan
-
13 modus tollendo ponens
Большой англо-русский и русско-английский словарь > modus tollendo ponens
-
14 modus tollendo ponens
Математика: отрицающе-утверждающий модус, правило удаления дизъюнкции -
15 formule de De Morgan
Французско-русский универсальный словарь > formule de De Morgan
-
16 loi de De Morgan
-
17 law of De Morgan
закон [правило] де Моргана ( об отрицании конъюнкции и дизъюнкции)English-Russian dictionary of computer science and programming > law of De Morgan
-
18 modus tollendo ponens
English-Russian scientific dictionary > modus tollendo ponens
См. также в других словарях:
Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… … Большая советская энциклопедия
ВЫВОДИМОЕ ПРАВИЛО — метаматематическая теорема (см. Метатеорема), позволяющая по конечному числу выводов из гипотез утверждать выводимость формулы из гипотез Г; выводы наз. вспомогательными выводами В. п., заключение наз. результирующим выводом. В. п. является… … Математическая энциклопедия
Формирование понятий (concept learning) — Понятие способ категоризации элементов и демонстрации характера существующих между ними взаимосвязей. В задаче на Ф. п. (concept learning task) определенные признаки стимулов связываются друг с другом в соответствии со специфическим правилом. Нек … Психологическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Дизъюнкция — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
Логическая дизъюнкция — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическая сумма — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое "или" — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое ИЛИ — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое сложение — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия